$\forall$$T$:Type, $l$:$T$ List, $P$:($T$$\rightarrow$Prop). list\_all($x$.$P$($x$);$l$) $\in$ Prop